/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

package ucmconfchecker.pExecutionTrace;

import java.util.ArrayList;

/**
 *
 * @author Administrador
 */
public class ExecutionTrace extends ArrayList<ImplEvent>{

}
